Сімвалічная логіка, гл. Матэматычная логіка
Беларуская Савецкая Энцыклапедыя (1969—76, паказальнікі; правапіс да 2008 г., часткова)